21![02157 Functional ProgrammingFunctional Programming 02157 Functional ProgrammingFunctional Programming](https://www.pdfsearch.io/img/d4d74efa1c9411577f4648392ed76701.jpg) | Add to Reading ListSource URL: www.imm.dtu.dkLanguage: English - Date: 2013-01-17 16:18:46
|
---|
22![C Program Specialization Master’s Thesis (revised version) Lars Ole Andersen DIKU, Department of Computer Science, C Program Specialization Master’s Thesis (revised version) Lars Ole Andersen DIKU, Department of Computer Science,](https://www.pdfsearch.io/img/b8f08879a11d667ea6dc7ff2fb338a94.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:05:06
|
---|
23![HabaneroUPC++: a Compiler-free PGAS Library ∗ Vivek Kumar† , Yili Zheng‡ , Vincent Cavé† , Zoran Budimli´c† , and Vivek Sarkar† † Rice HabaneroUPC++: a Compiler-free PGAS Library ∗ Vivek Kumar† , Yili Zheng‡ , Vincent Cavé† , Zoran Budimli´c† , and Vivek Sarkar† † Rice](https://www.pdfsearch.io/img/195a7bc97aad4dce1ae0228457f71e74.jpg) | Add to Reading ListSource URL: nic.uoregon.eduLanguage: English - Date: 2014-10-08 11:47:00
|
---|
24![Evaluation of PGAS Communication Paradigms with Geometric Multigrid Hongzhang Shan, Amir Kamil, Samuel Williams, Yili Zheng, Katherine Yelick Computational Research Division Lawrence Berkeley National Laboratory, Berkele Evaluation of PGAS Communication Paradigms with Geometric Multigrid Hongzhang Shan, Amir Kamil, Samuel Williams, Yili Zheng, Katherine Yelick Computational Research Division Lawrence Berkeley National Laboratory, Berkele](https://www.pdfsearch.io/img/0229f7574888a69709db2e3b2de31c20.jpg) | Add to Reading ListSource URL: crd.lbl.govLanguage: English - Date: 2015-01-12 18:45:21
|
---|
25![Extended Analysis based on the SPES Architecture Meta-Model Extended Analysis based on the SPES Architecture Meta-Model](https://www.pdfsearch.io/img/a3481ec856dbdfae541ed01f96b34e21.jpg) | Add to Reading ListSource URL: spes2020.informatik.tu-muenchen.deLanguage: English - Date: 2012-03-23 03:32:40
|
---|
26![Features as First-class Entities – Toward a Better Representation of Features ¨ Sagar Sunkle, Marko Rosenmuller, Norbert Siegmund, Syed Saif ur Rahman, Gunter Saake Features as First-class Entities – Toward a Better Representation of Features ¨ Sagar Sunkle, Marko Rosenmuller, Norbert Siegmund, Syed Saif ur Rahman, Gunter Saake](https://www.pdfsearch.io/img/3595fa309b1da09502aebc792be5ed5f.jpg) | Add to Reading ListSource URL: www.infosun.fim.uni-passau.deLanguage: English - Date: 2008-10-06 13:11:44
|
---|
27![New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More Benjamin Grosof* Coherent Knowledge** Presentation (30-min.) New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More Benjamin Grosof* Coherent Knowledge** Presentation (30-min.)](https://www.pdfsearch.io/img/ea858022136705cc150a8e340e7efa94.jpg) | Add to Reading ListSource URL: ijcai-16.orgLanguage: English - Date: 2016-07-22 16:57:54
|
---|
28![Programmatic Semantics for Natural Language Interfaces Hugo Liu MIT Media Laboratory 20 Ames Street 320D, Cambridge, MA USA ABSTRACT Programmatic Semantics for Natural Language Interfaces Hugo Liu MIT Media Laboratory 20 Ames Street 320D, Cambridge, MA USA ABSTRACT](https://www.pdfsearch.io/img/e58d50da3ba95729cacbba52e5c85053.jpg) | Add to Reading ListSource URL: web.media.mit.eduLanguage: English - Date: 2005-09-14 18:06:23
|
---|
29![Towards a Classification for Programming Exercises Nguyen-Thinh Le and Niels Pinkwart Humboldt Universität zu Berlin Germany {nguyen-thinh.le, niels.pinkwart}@hu-berlin.de Towards a Classification for Programming Exercises Nguyen-Thinh Le and Niels Pinkwart Humboldt Universität zu Berlin Germany {nguyen-thinh.le, niels.pinkwart}@hu-berlin.de](https://www.pdfsearch.io/img/4a0eb9985e505441c2528a6d95bccd8f.jpg) | Add to Reading ListSource URL: cses.informatik.hu-berlin.deLanguage: English - Date: 2015-12-26 16:04:57
|
---|
30![Towards Correct-by-Construction SDN Leonid Ryzhyk1 , Nikolaj Bjørner2 , Marco Canini3 , Jean-Baptiste Jeannin1 , Nina Narodytska1 , Cole Schlesinger1 , Douglas B. Terry1 , and George Varghese2 1 Samsung Research Americ Towards Correct-by-Construction SDN Leonid Ryzhyk1 , Nikolaj Bjørner2 , Marco Canini3 , Jean-Baptiste Jeannin1 , Nina Narodytska1 , Cole Schlesinger1 , Douglas B. Terry1 , and George Varghese2 1 Samsung Research Americ](https://www.pdfsearch.io/img/a8e8a6772797d9d96474eb5f99c22bbd.jpg) | Add to Reading ListSource URL: conferences.sigcomm.orgLanguage: English - Date: 2016-07-31 22:09:02
|
---|